Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 7.Ident. | Authors (with country if any) | Title |
---|---|---|
002F92 | Olfa Mosbahi [France, Tunisie] ; Jacques Jaray [France] | B événementiel et les propriétés de vivacité |
004693 | Olfa Mosbahi [France] ; Jacques Jaray [France] ; Samir Ben Ahmed [Tunisie] | Spécification et vérification des propriétés de vivacité en B événementiel |
004799 | Olfa Mosbahi [France] ; Leila Jemni [Tunisie] ; Jacques Jaray [France] | A Formal Approach for the Development of Automated Systems |
005156 | Olfa Mosbahi [France] ; Leila Jemni Ben Ayed [Tunisie] ; Jacques Jaray [France] | Formal Development Method of Automated Systems using the Temporal Logic of Actions TLA |
005186 | Olfa Mosbahi [France] ; Jacques Jaray [France] ; Leila Jemni Ben Ayed [Tunisie] | A Formal Development Method of Control Systems using Event B Approach |
005909 | Olfa Mosbahi [Tunisie] ; Leila Jemni Ben Ayed [Tunisie] | Utilisation conjointe de B et TLA+ pour la modélisation et la vérification des systèmes réactifs |
007F32 | Olfa Mosbahi [Tunisie] ; Leila Jemni Ben Ayed [Tunisie] ; Samir Ben Ahmed [Tunisie] ; Jacques Jaray [France] | A Specification and Validation Technique Based on STATEMATE and FNLOG |
This area was generated with Dilib version V0.6.33. |